88 research outputs found
On the reversibility and the closed image property of linear cellular automata
When is an arbitrary group and is a finite-dimensional vector space,
it is known that every bijective linear cellular automaton is reversible and that the image of every linear cellular automaton is closed in for the prodiscrete topology. In this
paper, we present a new proof of these two results which is based on the
Mittag-Leffler lemma for projective sequences of sets. We also show that if
is a non-periodic group and is an infinite-dimensional vector space, then
there exist a linear cellular automaton which is
bijective but not reversible and a linear cellular automaton whose image is not closed in for the prodiscrete topology
A Garden of Eden theorem for Anosov diffeomorphisms on tori
Let be an Anosov diffeomorphism of the -dimensional torus
and a continuous self-mapping of
commuting with . We prove that is surjective if and only if the
restriction of to each homoclinicity class of is injective.Comment: 9 page
On algebraic cellular automata
We investigate some general properties of algebraic cellular automata, i.e.,
cellular automata over groups whose alphabets are affine algebraic sets and
which are locally defined by regular maps. When the ground field is assumed to
be uncountable and algebraically closed, we prove that such cellular automata
always have a closed image with respect to the prodiscrete topology on the
space of configurations and that they are reversible as soon as they are
bijective
- …